package body V8 is

   ---------
   -- "-" --
   ---------

   function "-" (B : Bool) return Boolean is
      use type Bool;
   begin
      return (B /= Bool'First);
   end "-";
   pragma Inline ("-");

   -----------
   -- "not" --
   -----------

   function "not" (B : Bool) return Boolean is
      use type Bool;
   begin
      return B = Bool'First;
   end "not";
   pragma Inline ("not");

   function "-" (B : Boolean) return Bool is
   begin
      return (if B then Bool'First else Bool'Succ(Bool'First));
   end "-";
   pragma Inline("-");

end V8;
